/*
 * Cache.h
 *
 *  Created on: 13.11.2011
 *      Author: Matthias
 */

#ifndef CACHE_H_
#define CACHE_H_

int cache[256] ;

void writeToDataCache(int line, int value);

int readDataCache(int line);

void writeToInstructionCache(int line, int value) ;

int readInstructionCache(int line);


#endif /* CACHE_H_ */
